tools-xentrace-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:14 +0000 (11:47 +0200)
committerHans van Kranenburg <hans@knorrie.org>
Tue, 11 Sep 2018 13:34:35 +0000 (15:34 +0200)
commit1200d646d52edd3483464e03679ab77ac55e04d3
tree96119bc2d9c746b4a90f3bd1cf51d952b060a917
parent3098d645946982a47586d9ddd322394758dfb918
tools-xentrace-prefix.diff

Patch-Name: tools-xentrace-prefix.diff

Gbp-Pq: Topic prefix-abiname
Gbp-Pq: Name tools-xentrace-prefix.diff
tools/xentrace/Makefile